<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" "http://www.w3.org/TR/html4/frameset.dtd">
<html>
	<frameset rows="15%,85%">
		<frame src="controller.html">
		<frame>
	</frameset>
</html>